$\forall$$b$:$\mathbb{B}$. ($\neg$($\uparrow$$b$)) $\Leftarrow\!\Rightarrow$ ($b$ = ff)